1. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
2. Symbolic Logic and mechanical theorem proving
Author: Chang, Chin-Liang, 7391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C53
1987
3. Symbolic logic and mechanical theorem proving
Author: Chin-Liang Chang, Richard Char-Tung Lee,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
Classification :
QA
.
C483
9
1987
